Teaching reliability theory with the Computer Algebra System Maxima

The Maple Computer Algebra System

Maple is a comprehensive general purpose computer algebra system. It is used primarily in education and scientific research in the sciences, in mathematics, and in engineering. Maple can do both symbolic and numerical calculations and has facilities for 2 and 3-dimensional graphical output. The newest version of Maple, Maple V Release 2, sports a new user interface that integrates these three f...

Teaching Commutative Algebra and Algebraic Geometry using Computer Algebra Systems

In teaching a mathematics course in commutative algebra and algebraic geometry, we would like to equip students with a computer algebra system so they can solve problems that they might encounter in their own research or in industry. The purpose of this paper is to firstly describe how we use computer algebra in the course that we teach and secondly, to share with the reader a list of applicati...

Computer Algebra in Systems Theory

Cadabra: a field-theory motivated symbolic computer algebra system

Field theory is an area in physics with a deceptively compact notation. Although general purpose computer algebra systems, built around generic list-based data structures, can be used to represent and manipulate field-theory expressions, this often leads to cumbersome input formats, unexpected side-effects, or the need for a lot of special-purpose code. This makes a direct translation of proble...

A Computer Algebra System

Systems of polynomial equations appear throughout mathematics, science, and engineering, but solving them is widely considered to be part of numerical analysis, not computer algebra or algebraic geometry. Due to rounding errors, though, purely numerical methods often are unstable in unpredictable ways. They usually don’t find all solutions and frequently have problems with overdetermined system...